Reasoning about Normative Updat
نویسندگان
چکیده
We consider the problem of updating a multi-agent system with a set of conditional norms. A norm comes into effect when its condition becomes true, and imposes either an obligation or a prohibition on an agent which remains in force until a state satisfying a deadline condition is reached. If the norm is violated, a sanction is imposed on the agent. We define a notion of a normative update of a multi-agent system by a set of conditional norms, and study the problem of checking whether the agent(s) can bring about a state satisfying a property without incurring a specified number of sanctions.
منابع مشابه
An Agent Architecture for Prognostic Normative Reasoning
In this paper we describe a software assistant agent that can proactively assist human users situated in a time-constrained environment to perform normative reasoning–reasoning about prohibitions and obligations–so that the user can focus on her planning objectives. In order to provide proactive assistance, the agent must be able to 1) recognize the user’s planned activities, 2) reason about po...
متن کامل‘Normative Behavioral Economics’ Revisited: Toward a Behavioral Normative Economics
A little more than a decade ago, Nathan Berg asked the question why behavioral economics had not yet inspired a reorientation of normative economics. Given the ever rising interest in the new, psychologically informed economics, the present paper will outline the way reasoning about the normative implications of behavioral economics has developed since Berg raised the issue. We argue that behav...
متن کاملA Cognitive Framework for Normative Reasoning under Uncertainty, and Reasoning about Risk, and Implications for Educational Practice
Clarifying what is normative or appropriate reasoning under various circumstances provides a valuable reference for guiding what should be taught, and, in contrast, what should not be. This paper proposes a cognitive framework for viewing normative reasoning and behavior under uncertainty, including the applying of knowledge of probability and statistics in real world situations; and identifies...
متن کاملDistinguishing Di erent Roles in Normative
Leendert W.N. van der Torre Max Planck Institute for Computer Science Im Stadwald D-66123 Saarbr ucken [email protected] Yao-Hua Tan Euridis Erasmus University Rotterdam PO Box 1738, 3000 DR Rotterdam [email protected] Abstract In this paper we introduce the diagnostic and decisiontheoretic framework for deontic reasoning diO(de)2. The framework diO(de)2 formalizes reasoning about viol...
متن کاملPrognostic normative reasoning
Human users planning for multiple objectives in complex environments are subjected to high levels of cognitive workload, which can severely impair the quality of the plans created. This article describes a software agent that can proactively assist cognitively overloaded users by providing normative reasoning about prohibitions and obligations so that the user can focus on her primary objective...
متن کامل